模式匹配采用了抽象语法树同构判断算法;指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的;跨过程分析采用基于总结的上下文敏感分析方法。
互联网摘选
在关联理论框架内, 从幽默话语理解的关联语境的意义特征出发,力图探索幽默的语用语义形式特征.
互联网摘选
论文在深入分析MC环境客户需求特点的基础上,提出了客户需求获取分解及处理的方法并建立了一套完整的形式化需求语义模型。
互联网摘选
精确的数据流分析,需要充分利用条件分支语句的逻辑语义。
互联网摘选
Here the fuzzy words can be identified through analysis with theory of semantic field.
这里的模糊词语可以通过语义场理论的分析进行检测.
期刊摘选
提出基于转换和映射的语义单元自动获取方法:利用链语法分析和转换实现英语的浅层语义结构分析,并且通过统计词语对齐找到双语的对应关系。
互联网摘选
这可解决同形词的语义识别、多项NP语义结构分析、未登陆词的语义理解等等。
互联网摘选
建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
互联网摘选
